Linear Differential Operators for Polynomial Equations

نویسندگان

  • Olivier Cormier
  • Michael F. Singer
  • Barry M. Trager
  • Felix Ulmer
چکیده

The results of this paper spring from the elementary fact that an algebraic function satisfies a linear differential equation. Let k0 be a number field and k0 be its algebraic closure. Let P ∈ k0(x)[y] be a squarefree polynomial of degree n in y. The derivation δ = d dx extends uniquely to the algebraic closure k0(x) of k0(x). We define the minimal operator associated with P to be the monic differential operator LP = δ + at−1δ + · · · + a0 with ai ∈ k0(x) of smallest positive order such that LP (y) = 0 for all roots of P in k0(x). In Section 2, we give algorithms to calculate this operator. In Section 3, we assume that P is absolutely irreducible, that is, irreducible over k0(x). We show that information derived from the singular points of the minimal operator allows one to give a simple formula (and direct method) to calculate the genus of P = 0. In Section 4 we give two methods to factor a polynomial P ∈ k0(x)[y] over k0(x). Together with the algorithm in Section 3, this yields a new polynomial time algorithm for this task. In Section 5, we discuss how the minimal operator allows us to find properties of the Galois groups of P over k0(x) and over k0(x). In the appendix we

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Solutions for some non-linear fractional differential equations with boundary value problems

In recent years, X.J.Xu [1] has been proved some results on mixed monotone operators.  Following the paper of X.J.Xu, we study the existence and uniqueness of the positive solutions for non-linear differential equations with boundary value problems. 

متن کامل

Polynomial Solutions and Annihilators of Ordinary Integro-Differential Operators ?

In this paper, we study algorithmic aspects of linear ordinary integro-differential operators with polynomial coefficients. Even though this algebra is not noetherian and has zero divisors, Bavula recently proved that it is coherent, which allows one to develop an algebraic systems theory. For an algorithmic approach to linear systems theory of integro-differential equations with boundary condi...

متن کامل

Polynomial and Rational Solutions of Holonomic Systems

Polynomial and rational solutions for linear ordinary differential equations can be obtained by algorithmic methods. For instance, the maple package DEtools provides efficient functions polysols and ratsols to find polynomial and rational solutions for a given linear ordinary differential equation with rational function coefficients. A natural analogue of the notion of linear ordinary different...

متن کامل

Quasi - Exactly - Solvable Differential Equations

A general classification of linear differential and finite-difference operators possessing a finite-dimensional invariant subspace with a polynomial basis is given. The main result is that any operator with the above property must have a representation as a polynomial element of the universal enveloping algebra of the algebra of differential (difference) operators in finitedimensional represent...

متن کامل

Structure Theorems for Linear and Non-linear Differential Operators Admitting Invariant Polynomial Subspaces

In this paper we derive structure theorems that characterize the spaces of linear and non-linear differential operators that preserve finite dimensional subspaces generated by polynomials in one or several variables. By means of the useful concept of deficiency, we can write explicit basis for these spaces of differential operators. In the case of linear operators, these results apply to the th...

متن کامل

Theory of Hybrid Fractional Differential Equations with Complex Order

We develop the theory of hybrid fractional differential equations with the complex order $thetain mathbb{C}$, $theta=m+ialpha$, $0<mleq 1$, $alphain mathbb{R}$, in Caputo sense. Using Dhage's type fixed point theorem for the product of abstract nonlinear operators in Banach algebra; one of the operators is $mathfrak{D}$- Lipschitzian and the other one is completely continuous, we prove the exis...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • J. Symb. Comput.

دوره 34  شماره 

صفحات  -

تاریخ انتشار 2002